\newcommand{\Suffix}[1]{\textsf{#1}}

\newcommand{\Exhibits}[1]{\mathrel{\downarrow_\Suffix{#1}}}
\newcommand{\ExhibitsA}{\Exhibits{A}}
\newcommand{\ExhibitsT}{\Exhibits{T}}
\newcommand{\ExhibitsE}{\Exhibits{E}}

\newcommand{\Reveals}[1]{\mathrel{\Downarrow_\Suffix{#1}}}
\newcommand{\RevealsA}{\Reveals{A}}
\newcommand{\RevealsT}{\Reveals{T}}
\newcommand{\RevealsE}{\Reveals{E}}

%\newcommand{\DEq}{\bumpeq}
%\newcommand{\NotDEq}{\not\bumpeq}
\newcommand{\DEqA}{\mathrel{\DEq_\Suffix{A}}}
\newcommand{\DEqT}{\mathrel{\DEq_\Suffix{T}}} 
\newcommand{\DEqE}{\mathrel{\DEq_\Suffix{E}}} 

\newcommand{\Eq}{\approx}
\newcommand{\NotEq}{\not\approx}
\newcommand{\EqA}{\mathrel{\Eq_\Suffix{A}}}
\newcommand{\EqT}{\mathrel{\Eq_\Suffix{T}}} 
\newcommand{\EqE}{\mathrel{\Eq_\Suffix{E}}}

\newcommand{\LTOC}{\approxeq}

\newcommand{\Does}[1]{\xderives{#1}}
\newcommand{\DoesTaus}{\mathrel{\Rightarrow}}
\newcommand{\Weak}[1]{\stackrel{#1}{\Rightarrow}}
\newcommand{\Theorem}{\vdash}
\newcommand{\OfType}{\mathrel{:}}
\newcommand{\After}[1]{\mathrel{/\!/} #1}
